Validating UML simulation models with model-level unit tests
نویسندگان
چکیده
We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform UML models into executable simulation code. Typically, both functionality and behavior are modeled in UML, whereas debugging and validation are mainly an issue of investigating the executable code. We contribute to the field of model-driven simulation by defining a novel testing method. Our method allows to use UML to specify model-level unit tests in order to validate simulation models defined with UML. In addition, we describe the translation, execution and evaluation of these tests within the framework Syntony. In this paper, we show the principles of this method and discuss its use in the scope of our simulation framework Syntony as well as its general applicability. Our implementation allows to compile and to execute the test code in combination with the simulation code. In spite of the high abstraction level, the full functionality of unit testing is provided and the modeler can rely on automated test case generation and execution. After execution of the tests, the achieved test coverage is computed as a measure for the test quality.
منابع مشابه
Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers
Testing is one important way of validating and verifying the behaviour of software artefacts. With the use of Model Based Engineering comes the need to ensure that the implementation derived from models actually behaves like speci ed in the corresponding models. In this thesis, we generate unit tests from UML activity diagrams modelling C components. We use symbolic execution to transform embed...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملExperimental and Numerical Investigation of Bottom Outlet Hydraulic Model
Using experimental models along with conducting numerical analysis have been widely used in performance recognition and optimization of hydraulic equipments. Numerical modeling has lower cost rather than experimental one; however practical tests are commonly used because of the hydraulic structure importance especially in dams. Meanwhile numerical methods could be used for future designs throug...
متن کاملDefining and validating transformations of UML models
With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such tr...
متن کاملTowards Integrating Modeling and Programming Languages: The Case of UML and Java
Today, modeling and programming constitute separate activities carried out using modeling respectively programming languages, which are neither well integrated with each other nor have a one-to-one correspondence. As a consequence, platform and implementation details, such as the usage of existing software components and libraries, are usually introduced on code level only. This impedes accurat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010